f9a8e45c9c79076228e30024319c6fb0eb4213d1,jetty-start/src/main/java/org/eclipse/jetty/start/Main.java,Main,expand,#String#,253
Before Change
if ("version".equalsIgnoreCase(name))
property=_version;
else
property=System.getProperty(s.substring(i1+2,i2),"");
s=s.substring(0,i1)+property+s.substring(i2+1);
}
return s;
After Change
while (s!=null)
{
i1=s.indexOf("${",i2);
if (i1<0)
break;
i2=s.indexOf("}",i1+2);
if (i2<0)
break;
String name=s.substring(i1+2,i2);
String property=getProperty(name);
s=s.substring(0,i1)+property+s.substring(i2+1);
}